1. Compiler Construction
Author: / Jens Knoop
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
2. Leveraging Applications of Formal Methods, Verification, and Validation
Author: / hnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard SteffenعReiner H
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
Classification :
E-BOOK
3. Optimal Interprocedural program Optimization: A New Framework and Its Application
Author: / Jens Knoop
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematical Optimization.,Programming (MAthematics)
Classification :
QA402
.
K6M2
4. Optimal interprocedural program optimization : a new framwork and its application
Author: Knoop, Jens
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Computer algorithms,، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1428
